搜索包含 Logics of Programs Workshop (1983 : Carnegie Mellon University) 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Logics of Programs Workshop (1983 : Carnegie Mellon University) 的图书(共3598本)

	Proceedings of the 1983 Summer Computer Simulation Conference. v. 2 0 索取号：TP34-53/E901/1983/2 作者：Summer Computer Simulation Conference (1983 : Vancouver、 B.C.)、Society for Computer Simulation.、出版社：Amsterdam : Distributed outside the USA/Canada : North-Holland, c1983.		ACM-IEEE Symposium on High-Level-Language Computer Architecture [electronic resource] : November 7-8, 1973, University of Maryland, College Park, Maryland 0 索取号：TP391/E802/1973 作者：ACM-IEEE Symposium on High-Level-Language Computer Architecture (1973 : College、 Park、 Md.)、ACM Special Interest Group on Programming Languages.、Sigarch.、IEEE Computer Society. Technical Committee on Computer Architecture.、ACM Digital Library.、出版社：New York, N.Y. : ACM, c1973
	Proceedings of the IEEE Computer Society Workshop on the Application of Personal Computing to Aid the Handicapped : the 1980 APL report, Laurel, Maryland, April 2-3, 1980 0 索取号：TP39-53/E9010/1980 作者：IEEE Computer Society Workshop on the Application of Personal Computing to Aid the Handicapped (1980 : Laurel、 Md.)、IEEE Computer Society.、IEEE Micro/Mini Technical Interest Council.、Johns Hopkins University. Applied Physics Laboratory.、出版社：New York, NY : Institute of Electrical and Electronics Engineers, c1980.		High performance computing for computational science, VECPAR 2002 : 5th international conference, Porto, Portugal, June 26-28, 2002 : selected papers and invited talks 0 索取号：TP338.6-532/E20032/5 作者：VECPAR 2002 (2002 : University of Porto)、Palma、 Jos·Œ M. L. M.、出版社：Berlin ; New York : Springer, c2003.
	Mini/Micro West/83 conference record : sessions presented at Mini/Micro West-83, San Francisco, California, November 8, 9, 10, 11, 1983 0 索取号：TP36-53/E903/1983 作者：Mini/Micro West (1983 : San Francisco、 Calif.)、Institute of Electrical and Electronics Engineers. San Francisco Bay Area Council.、Wescon (1983 : San Francisco、 Calif.)、出版社：Los Angeles, CA : Electronic Conventions Management ; [North Hollywood, Calif. : Distributed by Western Periodicals Co.], c1983.		A Symposium on Microprocessors at Work : University of Sussex, September 26-29, 1976 0 索取号：TP36-53/E8011/1976 作者：Symposium on Microprocessors at Work (1976 : University of Sussex)、Society of Electronic and Radio Technicians.、出版社：London : Society of Electronic and Radio Technicians, 1976.
	Distributed computer control systems--1981 : proceedings of the third IFAC Workshop, Beijing, China, 15-17 August, 1981 0 索取号：TP322-53/E901/1981 作者：IFAC Workshop on Distributed Computer Control Systems (3rd : 1981 : Beijing、 China)、Miller、 William E.、International Federation of Automatic Control.、出版社：Oxford ; New York : Published for the International Federation of Automatic Control by Pergamon Press, 1982.		Proceedings 0 索取号：TP331.1-53/E901/10 作者：International Symposium on Multiple-Valued Logic (10th : 1980 : Northwestern University)、IEEE Computer Society.、出版社：New York, NY : Institute of Electrical and Electronics Engineers, c1980.
	Proceedings of the SIGPLAN '83 Symposium on Programming Language Issues in Software Systems 0 索取号：TP312-53/E9011/1983 作者：ACM-SIGPLAN Symposium on Programming Language Issues in Software Systems (1983 : San Francisco、 Calif.)、Association for Computing Machinery. Special Interest Group in Programming Languages.、出版社：Baltimore New York : Association for Computing Machinery, c1983.		Graph-theoretic concepts in computer science : 16th international workshop WG'90, Berlin, Germany, June 20-22, 1990 : proceedings 0 索取号：O157.5/E20014/1990 作者：出版社：Berlin : Springer-Verlag, c1991.
	Trees in algebra and programming [electronic resource] : 8th colloquium, L'Aquila, March 9-11, 1983 : proceedings 0 索取号：TP3-55/E9013 作者：CAAP '83 (8th : 1983 : L'Aquila、 Italy)、Ausiello、 G. (Giorgio)、 1941-、Protasi、 M. (Marco)、 1950-、出版社：Berlin ; New York : Springer-Verlag, 1983		Data structures in programming languages 0 索取号：TP312-53/E8010/1971 作者：ACM Symposium on Data Structures in Programming Languages (1971 : University of Florida)、Tou、 Julius T.、 1926-、Wegner、 Peter.、Association for Computing Machinery.、出版社：Gainesville : University of Florida, [1971]
	Conference on Applied Natural Language Processing : proceedings of the conference, 1-3 February, Santa Monica, Calif. 0 索取号：TP312-53/E9012/1983 作者：Conference on Applied Natural Language Processing (1983 : Santa Monica、 Calif.)、Association for Computational Linguistics.、Naval Research Laboratory (U.S.)、出版社：[S.l. : s.n.], 1983.		ESEC '89 : 2nd European Software Engineering Conference, University of Warwick, Coventry, UK, September, 11-15, 1989 : proceedings 0 索取号：TP311-532/E901/2 作者：European Software Engineering Conference (2nd : 1989 : University of Warwick)、Ghezzi、 Carlo.、McDermid、 John A. (John Alexander)、出版社：Berlin : Springer-Verlag, c1989.
	MICRO 17 [electronic resource] : the Seventeenth Annual Microprogramming Workshop : New Orleans, Louisiana : October 30-November 2, 1984 0 索取号：TP31-53/E9017/17 作者：Microprogramming Workshop (17th : 1984 : New Orleans、 La.)、ACM Special Interest Group on Microprogramming.、Euromicro、IEEE Computer Society. TC-micro、出版社：Silver Spring, Md. : IEEE Computer Society Press, [1984].		17th Asilomar Conference on Circuits, Systems & Computers : conference record 0 索取号：TP302-53/E801/17 作者：Asilomar Conference on Circuits、 Systems & Computers (17th : 1983 : Santa Clara、 Calif.)、Chan、 Shu-Park、 1929-、Naval Postgraduate School (U.S.)、出版社：Silver Spring : IEEE Computer Society Press, c1984.

	Proceedings of the 1983 Summer Computer Simulation Conference. v. 2 0 索取号：TP34-53/E901/1983/2 作者：Summer Computer Simulation Conference (1983 : Vancouver、 B.C.)、Society for Computer Simulation.、出版社：Amsterdam : Distributed outside the USA/Canada : North-Holland, c1983.		ACM-IEEE Symposium on High-Level-Language Computer Architecture [electronic resource] : November 7-8, 1973, University of Maryland, College Park, Maryland 0 索取号：TP391/E802/1973 作者：ACM-IEEE Symposium on High-Level-Language Computer Architecture (1973 : College、 Park、 Md.)、ACM Special Interest Group on Programming Languages.、Sigarch.、IEEE Computer Society. Technical Committee on Computer Architecture.、ACM Digital Library.、出版社：New York, N.Y. : ACM, c1973
	Proceedings of the IEEE Computer Society Workshop on the Application of Personal Computing to Aid the Handicapped : the 1980 APL report, Laurel, Maryland, April 2-3, 1980 0 索取号：TP39-53/E9010/1980 作者：IEEE Computer Society Workshop on the Application of Personal Computing to Aid the Handicapped (1980 : Laurel、 Md.)、IEEE Computer Society.、IEEE Micro/Mini Technical Interest Council.、Johns Hopkins University. Applied Physics Laboratory.、出版社：New York, NY : Institute of Electrical and Electronics Engineers, c1980.		High performance computing for computational science, VECPAR 2002 : 5th international conference, Porto, Portugal, June 26-28, 2002 : selected papers and invited talks 0 索取号：TP338.6-532/E20032/5 作者：VECPAR 2002 (2002 : University of Porto)、Palma、 Jos·Œ M. L. M.、出版社：Berlin ; New York : Springer, c2003.
	Mini/Micro West/83 conference record : sessions presented at Mini/Micro West-83, San Francisco, California, November 8, 9, 10, 11, 1983 0 索取号：TP36-53/E903/1983 作者：Mini/Micro West (1983 : San Francisco、 Calif.)、Institute of Electrical and Electronics Engineers. San Francisco Bay Area Council.、Wescon (1983 : San Francisco、 Calif.)、出版社：Los Angeles, CA : Electronic Conventions Management ; [North Hollywood, Calif. : Distributed by Western Periodicals Co.], c1983.		A Symposium on Microprocessors at Work : University of Sussex, September 26-29, 1976 0 索取号：TP36-53/E8011/1976 作者：Symposium on Microprocessors at Work (1976 : University of Sussex)、Society of Electronic and Radio Technicians.、出版社：London : Society of Electronic and Radio Technicians, 1976.
	Distributed computer control systems--1981 : proceedings of the third IFAC Workshop, Beijing, China, 15-17 August, 1981 0 索取号：TP322-53/E901/1981 作者：IFAC Workshop on Distributed Computer Control Systems (3rd : 1981 : Beijing、 China)、Miller、 William E.、International Federation of Automatic Control.、出版社：Oxford ; New York : Published for the International Federation of Automatic Control by Pergamon Press, 1982.		Proceedings 0 索取号：TP331.1-53/E901/10 作者：International Symposium on Multiple-Valued Logic (10th : 1980 : Northwestern University)、IEEE Computer Society.、出版社：New York, NY : Institute of Electrical and Electronics Engineers, c1980.
	Proceedings of the SIGPLAN '83 Symposium on Programming Language Issues in Software Systems 0 索取号：TP312-53/E9011/1983 作者：ACM-SIGPLAN Symposium on Programming Language Issues in Software Systems (1983 : San Francisco、 Calif.)、Association for Computing Machinery. Special Interest Group in Programming Languages.、出版社：Baltimore New York : Association for Computing Machinery, c1983.		Graph-theoretic concepts in computer science : 16th international workshop WG'90, Berlin, Germany, June 20-22, 1990 : proceedings 0 索取号：O157.5/E20014/1990 作者：出版社：Berlin : Springer-Verlag, c1991.
	Trees in algebra and programming [electronic resource] : 8th colloquium, L'Aquila, March 9-11, 1983 : proceedings 0 索取号：TP3-55/E9013 作者：CAAP '83 (8th : 1983 : L'Aquila、 Italy)、Ausiello、 G. (Giorgio)、 1941-、Protasi、 M. (Marco)、 1950-、出版社：Berlin ; New York : Springer-Verlag, 1983		Data structures in programming languages 0 索取号：TP312-53/E8010/1971 作者：ACM Symposium on Data Structures in Programming Languages (1971 : University of Florida)、Tou、 Julius T.、 1926-、Wegner、 Peter.、Association for Computing Machinery.、出版社：Gainesville : University of Florida, [1971]
	Conference on Applied Natural Language Processing : proceedings of the conference, 1-3 February, Santa Monica, Calif. 0 索取号：TP312-53/E9012/1983 作者：Conference on Applied Natural Language Processing (1983 : Santa Monica、 Calif.)、Association for Computational Linguistics.、Naval Research Laboratory (U.S.)、出版社：[S.l. : s.n.], 1983.		ESEC '89 : 2nd European Software Engineering Conference, University of Warwick, Coventry, UK, September, 11-15, 1989 : proceedings 0 索取号：TP311-532/E901/2 作者：European Software Engineering Conference (2nd : 1989 : University of Warwick)、Ghezzi、 Carlo.、McDermid、 John A. (John Alexander)、出版社：Berlin : Springer-Verlag, c1989.
	MICRO 17 [electronic resource] : the Seventeenth Annual Microprogramming Workshop : New Orleans, Louisiana : October 30-November 2, 1984 0 索取号：TP31-53/E9017/17 作者：Microprogramming Workshop (17th : 1984 : New Orleans、 La.)、ACM Special Interest Group on Microprogramming.、Euromicro、IEEE Computer Society. TC-micro、出版社：Silver Spring, Md. : IEEE Computer Society Press, [1984].		17th Asilomar Conference on Circuits, Systems & Computers : conference record 0 索取号：TP302-53/E801/17 作者：Asilomar Conference on Circuits、 Systems & Computers (17th : 1983 : Santa Clara、 Calif.)、Chan、 Shu-Park、 1929-、Naval Postgraduate School (U.S.)、出版社：Silver Spring : IEEE Computer Society Press, c1984.